Type variable - PDFSEARCH.IO - Document Search Engine

Type variable
Results: 393

#	Item
381	PDF Document Add to Reading List Source URL: www.aavso.org Language: English - Date: 2010-09-27 11:24:45 Astrometry Physical cosmology Space Cepheid variable W Virginis variable Type II Cepheid Cosmic distance ladder RR Lyrae variable Large Magellanic Cloud Astronomy Variable stars Standard candles
382	PDF Document Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 08:53:19 Programming language theory Data types Type inference Parametric polymorphism Type variable Type system Polymorphism Hindley–Milner ML Software engineering Type theory Computing
383	PDF Document Add to Reading List Source URL: hubblesite.org Language: English - Date: 2011-03-14 16:07:15 Physical cosmology Astrometry Variable stars Spiral galaxies Cepheid variables Classical Cepheid variable Cosmic distance ladder Type II Cepheid Large Magellanic Cloud Astronomy Standard candles Space
384	PDF Document Add to Reading List Source URL: hubblesite.org Language: English - Date: 2009-05-07 05:46:30 Standard candles Physical cosmology Variable stars Hubble Space Telescope Spiral galaxies Cepheid variable Cosmic distance ladder Large Magellanic Cloud Type II Cepheid Astronomy Space Astrometry
385	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-12-28 16:47:05 Computing OCaml Coq Type system Type variable Intuitionistic type theory ML ATS Monad Software engineering Programming language theory Type theory
386	PDF Document Add to Reading List Source URL: www.cocoalab.com Language: English - Date: 2008-03-22 00:34:07 Data types Type theory Primitive types C++ Cross-platform software Objective-C C++ classes Variable C Software engineering Computing Computer programming
387	PDF Document Add to Reading List Source URL: embedded.eecs.berkeley.edu Language: English Type theory Concurrency Diagrams Petri net Pattern matching Variable FALSE Immutable object J Software engineering Computing Computer programming
388	PDF Document Add to Reading List Source URL: exaprog.com Language: English - Date: 2011-03-24 02:41:39 Data types Procedural programming languages Primitive types C programming language Type theory C ALGOL 68 Pointer Variable Software engineering Computing Computer programming
389	PDF Document Add to Reading List Source URL: w3.linux-magazine.com Language: English - Date: 2008-06-16 11:43:56 Windows PowerShell Help Tee Type Time and date Command-line interface Environment variable Bash Batch file Computing Software Scripting languages
390	PDF Document Add to Reading List Source URL: hubblesite.org Language: English - Date: 2009-03-23 05:52:40 Supernova SN 1987A Type II supernova SN 2006gy SN 2005gj Type Ia supernova SN 2008D Variable star Stellar evolution Supernovae Astronomy Space

UPDATE